141. Automated reasoning: third international joint conference, IJCAR, 2006, Seattle, WA, USA, August 17-20, 2006, proceedings
Author: Ulrich Furbach, Natarajan Shankar )Eds.(
Library: (Kerman)
Subject: Congresses ، Automatic theorem proving,Congresses ، Computer logic
Classification :
QA
76
.
9
.
A96
L38
2006
142. Automation of Reasoning :
Author: edited by Jörg H. Siekmann, Graham Wrightson.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence.,Computer science.,Logic, Symbolic and mathematical.
Classification :
QA76
.
9
.
A96
E358
1983
143. Autonomous, model- based diagnosis agents
Author: Schroeder, Michael
Library: Central Library and Document Center of Isfahan University (Esfahan)
Subject: Logic programming ► Intelligent agents (Computer software) ► Artificial intelligence ► Database management
Classification :
005
S381a
145. Baltic Computer Science :
Author: by Janis Barzdins, Dines Bjorner.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Computer software.,Logic design.
Classification :
QA76
.
B953
1991
147. Belief revision in non-classical logics
Author: Márcio Moretto Ribeiro
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Belief change,Computer logic
Classification :
QA76
.
9
.
L63
R53
2013
149. Between mind and computer : fuzzy science and engineering
Author: editors, P.-Z. Wang, K.-F. Loe
Library: Central Library of Amirkabir University of Technology (Tehran)
Subject: Computer science, Fuzzy logic, Fuzzy sets
Classification :
QA
76
.
B477
1993
150. Between mind and computer: fuzzy science and engineering
Author: editors, P.-Z. Wang, K.-F. Loe
Library: Central Library and Documents Center of Industrial University of Khaje Nasiredin Toosi (Tehran)
Subject: ، Computer science,، Fuzzy logic,، Fuzzy sets
Classification :
QA
76
.
B477
152. Bidirectional Transformations : International Summer School, Oxford, UK, July 25-29, 2016, Tutorial Lectures
Author: edited by Jeremy Gibbons, Perdita Stevens
Library: Library of Razi Metallurgical Research Center (Tehran)
Subject: ، Computer logic,، Computer science,، Database management,، Management information systems,، Software engineering
Classification :
QP
360
.
7
.
B73
2018
153. Biomimetic and Biohybrid Systems :
Author: edited by Uriel Martinez-Hernandez, Vasiliki Vouloutsi, Anna Mura, Michael Mangan, Minoru Asada, Tony J. Prescott, Paul F.M.J. Verschure.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence.,Computer network architectures.,Computer science.,Computer vision.,Logic design.,Operating systems (Computers),Artificial intelligence-- Biological applications.,Biomimicry.,Natural computation.,Operating systems (Computers)
Classification :
T173
.
8
.
L58
2019
155. COLOG-88 : International Conference on Computer Logic Tallinn, USSR, December 12-16, 1988 : proceedings
Author: P. Martin-Lof, G Mints, eds
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Computer science -- Mathematics,Congresses ، Logic, Symbolic and mathematical
Classification :
QA
76
.
L28
Vol
.
417
156. COLOG-88: International Conference on Computer Logic Tallinn, USSR, December 12-16, 1988: proceedings
Author:
Library: Central Library of Sharif University of Technology (Tehran)
Subject: Mathematics Congresses ، Computer science,Congresses ، Logic, Symbolic and mathematical
Classification :
QA
76
.
9
.
M35
.
I57
1988
157. COMPUTER ARCHITECTURE & LOGIC DESIGN
Author:
Library: Central Library and Information Center of Shahed University (Tehran)
Subject: COMPUTER ARCHITECTURE,LOGIC DESIGN
Classification :
QA
،
76
.
9
،.
A73
,
B374
158. CSL'87 lst workshop on computer science logic
Author:
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Electronic digital computers-- Design and construction-- Congresses,، Logic design-- Computer programming-- Congresses
Classification :
QA
76
.
6
.
W6
1987
159. CSL'88 : 2nd Workshop on Computer Science Logic, Duisburg, FRG, October 3-7, 1988 : Proceedings
Author: E. Borger, H. Kleine Buning, M.M. Richter )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Computer science -- Mathematics,Congresses ، Logic, Symbolic and mathematical
Classification :
QA
76
.
L28
Vol
.
385
160. CSL '88: 2nd Workshop on Computer Science Logic, Duisburg, FRG, October 3-7, 1988: proceedings
Author:
Library: Central Library of Sharif University of Technology (Tehran)
Subject: Mathematics Congresses ، Computer science,Congresses ، Logic, Symbolic and mathematical
Classification :
QA
76
.
9
.
M35
.
W67
1988
